# ---> Idris
*.ibc
*.o

